derive the integral of sin(3x)*sin(5x)